(void *)init_task+0x0 = 0xffffffff9bc13780
@#$ EXIT CODE $#@
0
